\section{Start with a bug}

\input{slides/ImplementationTechniques}

\subsection{Basic approach}

\input{slides/FindBugsParadigm}

\subsection{Strategies}

\input{slides/BytecodeFrameworks}

\input{slides/TypesOfDetectors}

\input{slides/InspectClassMethodFieldStructure}

\input{slides/Micropatterns}

\input{slides/StackBasedPatterns}

\input{slides/DataflowAnalysis}

\input{slides/Interprocedural}

